361. 14, 2010. Proceedings-Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11
Author: / ry, Stephan Merz (eds.)فChristel Baier (auth.), Dominique M
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
362. 18, 2010. Proceedings-Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14
Author: / Matteo Fischetti (auth.), Andrea Lodi, Michela Milano, Paolo Toth (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
363. 3, 2010. Proceedings-Interactive Storytelling: Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1
Author: / Michael Mateas (auth.), Ruth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, Mark Riedl (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
364. 30, 2010. Proceedings-Latent Variable Analysis and Signal Separation: 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27
Author: / mi Gribonval, Emmanuel Vincent (eds.)فBenedikt Loesch, Bin Yang (auth.), Vincent Vigneron, Vicente Zarzoso, Eric Moreau, R
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
365. 15, 2012. Proceedings-Latent Variable Analysis and Signal Separation: 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12
Author: / Lieven De Lathauwer (auth.), Fabian Theis, Andrzej Cichocki, Arie Yeredor, Michael Zibulevsky (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
366. 11, 2011. Proceedings-Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India, January 5
Author: / rdenfors (auth.), Mohua Banerjee, Anil Seth (eds.)عPeter G
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
367. 15, 2010. Proceedings-Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13
Author: / (eds.)عGerhard Brewka (auth.), Tomi Janhunen, Ilkka Niemel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
368. 29, 2010. Proceedings-Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27
Author: / Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
369. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
Author: / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
370. 16, 2010. Proceedings-Motion in Games: Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14
Author: / Demetri Terzopoulos (auth.), Ronan Boulic, Yiorgos Chrysanthou, Taku Komura (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
371. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
Author: / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
372. 15, 2010. Proceedings-Network and Parallel Computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13
Author: / Xiaodong Zhang (auth.), Chen Ding, Zhiyuan Shao, Ran Zheng (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
373. 16, 2011, Proceedings, Part I- ICIAP 2011: 16th International Conference, Ravenna, Italy, September 14ع۰بImage Analysis and Processing
Author: / Peng Ren, Richard C. Wilson, Edwin R. Hancock (auth.), Giuseppe Maino, Gian Luca Foresti (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
374. 9, 2011, Proceedings, Part I- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
Author: / mara (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عnio CلAnt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
375. 24, 2011. Proceedings, Part I-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
Author: / lio Campilho (eds.)فKai Zeng, Zhou Wang (auth.), Mohamed Kamel, Aur
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
376. 24, 2010, Proceedings, Part I- MICCAI 2010: 13th International Conference, Beijing, China, September 20ع۰بAssisted Intervention -Medical Image Computing and Computer
Author: / Ying Liu, Mei Chen, Hiroshi Ishikawa, Gadi Wollstein, Joel S. Schuman, James M. Rehg (auth.), Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever (eds.)-Yu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
377. 9, 2011. Proceedings, Part I-Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2011, Athens, Greece, September 5
Author: / Rakesh Agrawal (auth.), Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
378. 11, 2011, Proceedings, Part I-Visual Informatics: Sustaining Research and Innovations: Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9
Author: / m (eds.)ن, Filip Malmberg (auth.), Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Timothy K. Shih, Sergio Velastin, Ingela Nystrنm, Johan NysjنIngela Nystr
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
379. 9, 2011, Proceedings, Part II- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
Author: / Michael Haller, Christoph Richter, Peter Brandl, Sabine Gross, Gerold Schossleitner (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
380. 27, 2012. Proceedings, Part II-Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25
Author: / lio Campilho, Mohamed Kamel (eds.)فAndreas Uhl, Peter Wild (auth.), Aur
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
